The use of a logical principle of uniform boundedness in analysis
نویسنده
چکیده
(1) ∀u, k∀v ≤ρ tuk∃w A0(u, k, v, w), where A0 is a quantifier–free formula 1 (containing only u, k, v, w as free variables) in the language of a suitable subsystem T ω of arithmetic in all finite types, t is a closed term and ≤ρ is defined pointwise (ρ being an arbitrary finite type). Lets suppose that (1) is provable in T . Then from a given such proof one can extract an effective uniform bound Φuk on ∃w, i.e.
منابع مشابه
Uniform Boundedness Principle for operators on hypervector spaces
The aim of this paper is to prove the Uniform Boundedness Principle and Banach-Steinhaus Theorem for anti linear operators and hence strong linear operators on Banach hypervector spaces. Also we prove the continuity of the product operation in such spaces.
متن کاملTHE UNIFORM BOUNDEDNESS PRINCIPLE IN FUZZIFYING TOPOLOGICAL LINEAR SPACES
The main purpose of this study is to discuss the uniform boundednessprinciple in fuzzifying topological linear spaces. At first theconcepts of uniformly boundedness principle and fuzzy equicontinuousfamily of linear operators are proposed, then the relations betweenfuzzy equicontinuous and uniformly bounded are studied, and with thehelp of net convergence, the characterization of fuzzyequiconti...
متن کاملBoundedness of linear order-homomorphisms in $L$-topological vector spaces
A new definition of boundedness of linear order-homomorphisms (LOH)in $L$-topological vector spaces is proposed. The new definition iscompared with the previous one given by Fang [The continuity offuzzy linear order-homomorphism, J. Fuzzy Math. 5 (4) (1997)829$-$838]. In addition, the relationship between boundedness andcontinuity of LOHs is discussed. Finally, a new uniform boundednessprincipl...
متن کاملOn Principle of Equicontinuity
The main purpose of this paper is to prove some results of uniform boundedness principle type without the use of Baire’s category theorem in certain topological vector spaces; this provides an alternate route and important technique to establish certain basic results of functional analysis. As applications, among other results, versions of the Banach-Steinhaus theorem and the Nikodym boundednes...
متن کاملSome functional inequalities in variable exponent spaces with a more generalization of uniform continuity condition
Some functional inequalities in variable exponent Lebesgue spaces are presented. The bi-weighted modular inequality with variable exponent $p(.)$ for the Hardy operator restricted to non- increasing function which is$$int_0^infty (frac{1}{x}int_0^x f(t)dt)^{p(x)}v(x)dxleqCint_0^infty f(x)^{p(x)}u(x)dx,$$ is studied. We show that the exponent $p(.)$ for which these modular ine...
متن کامل